1.2.1 Verification of Commutative and Associative Laws with respect to Union and Intersection